A Linear Meta-interpreter for the Situation Calculus
نویسندگان
چکیده
منابع مشابه
On sensing and off-line interpreting in GOLOG
GOLOG is a high-level programming language for the specification of complex actions. It combines the situation calculus with control structures known from conventional programming languages. Given a suitable axiomatization of what the world is like initially and how the primitive actions change the world, the GOLOG interpreter derives for each program a corresponding linear sequence of legally ...
متن کاملOn Sensing and Oo-line Interpreting in Golog
GOLOG is a high-level programming language for the speciication of complex actions. It combines the situation calculus with control structures known from conventional programming languages. Given a suitable ax-iomatization of what the world is like initially and how the primitive actions change the world, the GOLOG interpreter derives for each program a corresponding linear sequence of legally ...
متن کاملProlog Meta-interpreters for Rulebased Inference under Uncertainty
Uncertain facts and inexact rules can be represented and processed in standard Prolog through meta-interpretation. This requires the specification of appropriate parsers and belief calculi. We present a meta-interpreter that takes a rule-based belief calculus as an external variable. The certainty-factors calculus and a heuristic Bayesian belief-update model are then implemented as stand-alone ...
متن کاملRepresenting Flexible Temporal Behaviors in the Situation Calculus
In this paper we present an approach to representing and managing temporally-flexible behaviors in the Situation Calculus based on a model of time and concurrent situations. We define a new hybrid framework combining temporal constraint reasoning and reasoning about actions. We show that the Constraint Based Interval Planning approach can be imported into the Situation Calculus by defining a te...
متن کاملSequential, Temporal GOLOG
We extend the ontology and foundational axioms of the sequential situation calculus to include time. When combined with a view of actions with durations as processes that are initiated and terminated by instantaneous actions, this explicit representation of time yields a very rich account of interleaving concurrency in the situation calculus. Based upon this axiomatiza-tion, we extend the seman...
متن کامل